Buy Used and New Tiziana Margaria Books

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477)

by Tiziana Margaria, Bernhard Steffen

ISBN 13: 9783030614690

Format: Paperback (559 pages)
Publisher: Springer
Published: 27 Oct 2020

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783030891589

Format: Paperback (516 pages)
Publisher: Springer
Published: 12 Oct 2021

Save for later